例句與造句

1. One way of defining linear logic is as a sequent calculus.
2. Linear distributions are fundamental in the proof theory of linear logic.
3. GoI had a strong influence on game semantics for linear logic and PCF.
4. Lincoln's doctoral dissertation was " Computational aspects of linear logic ".
5. They are used to define models for the multiplicative fragment of intuitionistic linear logic.
6. It's difficult to find linear logic in a sentence. 用linear logic造句挺難的
7. As such it is a model of Jean-Yves Girard's linear logic ( Girard 1987 ).
8. Sometimes you have to step outside of the perfect linear logic of biographical facts . ".
9. In many systems of relevant logic, as well as linear logic, there are two separate disjunctive connectives.
10. In subsequent work it was renamed to " linear distribution " to reflect the fundamental connection to linear logic.
11. The internal language of closed symmetric monoidal categories is linear logic and the type system is the linear type system.
12. The name " affine logic " is associated with linear logic, to which it differs by allowing the weakening rule.
13. There is competing school of thought that linear logic is the best approach to solving the " problem " efficiently.
14. Sokal wrote, citing quantum mechanics, deconstructionist theory and " the multidimensional and non-linear logic of fuzzy systems " to make his case.
15. However this is not fully general since some noncommutative logics do not support such an order, such as Yetter's cyclic linear logic.
16. David N . Yetter proposed a weaker structural rule in place of the exchange rule of linear logic, yielding cyclic linear logic.
更多例句：  下一頁